" Zohar Manna" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Zohar Manna, Doron A. Peled

Категория: Компьютеры

3.93 Mb

#2

The Calculus of Computation: Decision Procedures with Applications to Verification

Aaron R. Bradley, Zohar Manna

2.62 Mb

#3

Lectures on the logic of computer programming

Категория: Algorithms

312 Kb

#4

Lectures on the logic of computer programming

Категория: Computability

269 Kb

#5

Lectures on the logic of computer programming

Zohar Manna

258 Kb

#6

Mathematical Theory of Computation

Категория: Computer science, Computability

15.09 Mb

#7

Lectures on the Logic of Computer Programming

Zohar Manna

1.66 Mb

#8

Mathematical Theory of Computation

Zohar Manna

3.21 Mb

#9

Lectures on the Logic of Computer Programming

Zohar Manna

331 Kb

#10

The Temporal Logic of Reactive and Concurrent Systems: Specification

Zohar Manna, Amir Pnueli

2.80 Mb

#11

Lectures on the Logic of Computer Programming

Zohar Manna

312 Kb